Optimal. Leaf size=58 \[ -\frac{\left (3 x^2+2\right ) x^4}{2 \sqrt{x^4+5}}+\frac{1}{4} \left (9 x^2+8\right ) \sqrt{x^4+5}-\frac{45}{4} \sinh ^{-1}\left (\frac{x^2}{\sqrt{5}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0457434, antiderivative size = 58, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.2, Rules used = {1252, 819, 780, 215} \[ -\frac{\left (3 x^2+2\right ) x^4}{2 \sqrt{x^4+5}}+\frac{1}{4} \left (9 x^2+8\right ) \sqrt{x^4+5}-\frac{45}{4} \sinh ^{-1}\left (\frac{x^2}{\sqrt{5}}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1252
Rule 819
Rule 780
Rule 215
Rubi steps
\begin{align*} \int \frac{x^7 \left (2+3 x^2\right )}{\left (5+x^4\right )^{3/2}} \, dx &=\frac{1}{2} \operatorname{Subst}\left (\int \frac{x^3 (2+3 x)}{\left (5+x^2\right )^{3/2}} \, dx,x,x^2\right )\\ &=-\frac{x^4 \left (2+3 x^2\right )}{2 \sqrt{5+x^4}}+\frac{1}{10} \operatorname{Subst}\left (\int \frac{x (20+45 x)}{\sqrt{5+x^2}} \, dx,x,x^2\right )\\ &=-\frac{x^4 \left (2+3 x^2\right )}{2 \sqrt{5+x^4}}+\frac{1}{4} \left (8+9 x^2\right ) \sqrt{5+x^4}-\frac{45}{4} \operatorname{Subst}\left (\int \frac{1}{\sqrt{5+x^2}} \, dx,x,x^2\right )\\ &=-\frac{x^4 \left (2+3 x^2\right )}{2 \sqrt{5+x^4}}+\frac{1}{4} \left (8+9 x^2\right ) \sqrt{5+x^4}-\frac{45}{4} \sinh ^{-1}\left (\frac{x^2}{\sqrt{5}}\right )\\ \end{align*}
Mathematica [A] time = 0.029022, size = 51, normalized size = 0.88 \[ \frac{3 x^6+4 x^4+45 x^2-45 \sqrt{x^4+5} \sinh ^{-1}\left (\frac{x^2}{\sqrt{5}}\right )+40}{4 \sqrt{x^4+5}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.017, size = 50, normalized size = 0.9 \begin{align*}{\frac{3\,{x}^{6}}{4}{\frac{1}{\sqrt{{x}^{4}+5}}}}+{\frac{45\,{x}^{2}}{4}{\frac{1}{\sqrt{{x}^{4}+5}}}}-{\frac{45}{4}{\it Arcsinh} \left ({\frac{{x}^{2}\sqrt{5}}{5}} \right ) }+{({x}^{4}+10){\frac{1}{\sqrt{{x}^{4}+5}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.41641, size = 120, normalized size = 2.07 \begin{align*} \sqrt{x^{4} + 5} - \frac{15 \,{\left (\frac{3 \,{\left (x^{4} + 5\right )}}{x^{4}} - 2\right )}}{4 \,{\left (\frac{\sqrt{x^{4} + 5}}{x^{2}} - \frac{{\left (x^{4} + 5\right )}^{\frac{3}{2}}}{x^{6}}\right )}} + \frac{5}{\sqrt{x^{4} + 5}} - \frac{45}{8} \, \log \left (\frac{\sqrt{x^{4} + 5}}{x^{2}} + 1\right ) + \frac{45}{8} \, \log \left (\frac{\sqrt{x^{4} + 5}}{x^{2}} - 1\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.50927, size = 158, normalized size = 2.72 \begin{align*} \frac{30 \, x^{4} + 45 \,{\left (x^{4} + 5\right )} \log \left (-x^{2} + \sqrt{x^{4} + 5}\right ) +{\left (3 \, x^{6} + 4 \, x^{4} + 45 \, x^{2} + 40\right )} \sqrt{x^{4} + 5} + 150}{4 \,{\left (x^{4} + 5\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 12.297, size = 66, normalized size = 1.14 \begin{align*} \frac{3 x^{6}}{4 \sqrt{x^{4} + 5}} + \frac{x^{4}}{\sqrt{x^{4} + 5}} + \frac{45 x^{2}}{4 \sqrt{x^{4} + 5}} - \frac{45 \operatorname{asinh}{\left (\frac{\sqrt{5} x^{2}}{5} \right )}}{4} + \frac{10}{\sqrt{x^{4} + 5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.13531, size = 61, normalized size = 1.05 \begin{align*} \frac{{\left ({\left (3 \, x^{2} + 4\right )} x^{2} + 45\right )} x^{2} + 40}{4 \, \sqrt{x^{4} + 5}} + \frac{45}{4} \, \log \left (-x^{2} + \sqrt{x^{4} + 5}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]